package Executor;

import Store.Element;

public class Invalidator 
{

	public void invalidateDependentsOf(Element aEl) 
	{
//		throw new UnsupportedOperationException();  // CHECK ME : do nothing
	}

	/**
	 * All subparts of el will be also validated
	 */
	public void validate(Element aEl) 
	{
		aEl.validate(); // CHECK ME : anche le subparts (??)
	}

	public void invalidateDependentsOfST() {

	}

	public void validateST() 
	{

	}

	public void validateSM() 
	{
	
	}
	public void invalidateEvCondReactAndDependents() 
	{

	}
	public void validateEvCondReact() 
	{
		throw new UnsupportedOperationException();
	}
	public void invalidateSoInvAndDependents() 
	{
		// CHECK ME
	}
	public void validateSoInv() 
	{
		// CHECK ME
	}
}